Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
881	Problem Solving and Communication Activity Series Round 7: Guess and Check II Student Handout Name(s): ___________________________________________ Date: __________________________________________ Add to Reading List Source URL: mathforum.org Language: English - Date: 2014-02-28 13:48:32 Constraint programming Constraint logic programming
882	PAVEMENT PRESERVATION PROGRAMMING: A MULTI-YEAR MULTICONSTRAINT OPTIMIZATION METHODOLOGY by Tonya Scheinberg Vice President, Ph.D. AgileAssets Inc. (PKA Texas Research and Development Inc.) Add to Reading List Source URL: www.agileassets.com Language: English - Date: 2013-02-05 10:18:54 Land transport Operations research Constraint programming Road Pavement management system Constraint optimization Pavement management Constraint Linear programming Mathematical optimization Transport Road transport
883	Learning Techniques for Pseudo-Boolean Solving Jos´e Santos IST/UTL, INESC-ID, Portugal Vasco Manquinho IST/UTL, INESC-ID, Portugal Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-12 11:31:22 Applied mathematics Boolean satisfiability problem Constraint learning Local consistency Linear programming Solver GRASP Logic programming Constraint satisfaction Theoretical computer science Constraint programming Declarative programming
884	Student Expectation Checklist Name: __________________________ Date: ___________________________ Problem Title: ________________________________ Add to Reading List Source URL: wiki.bssd.org Language: English - Date: 2009-08-14 09:25:36 Constraint programming Equations Mathematical optimization Operations research
885	New Features of the SAT’04 versions of zChaff Zhaohui Fu Yogesh Mahajan Sharad Malik Department of Electrical Engineering Princeton University {zfu,yogism,sharad}@EE.Princeton.EDU Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2004-05-13 15:08:40 Declarative programming Constraint programming Clause Predicate logic Propositional calculus Logic in computer science Boolean satisfiability problem Theoretical computer science Logic programming Mathematical logic
886	Instructions for End of Grade 6 and 7 Summer Math Assignments Introduction This assignment focuses on content you learned this year based on the Common Core State Standards for Mathematics at your grade-level. There are Add to Reading List Source URL: www.lincolnps.org Language: English - Date: 2013-05-23 08:58:36 Office equipment Homework Constraint programming Algorithms Education Learning Calculator
887	Multithreaded Global Address Space Communication Techniques for Gyrokinetic Fusion Applications on Ultra-Scale Platforms Robert Preissl Nathan Wichmann Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2011-10-31 18:38:46 Application programming interfaces Computational physics Software engineering Fortran OpenMP Thread Constraint algorithm Message Passing Interface Parallel-TEBD Computing Computer programming Parallel computing
888	Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances1 Ke Xu and Wei Li National Lab of Software Development Environment Department of Computer Science Beihang University Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 04:16:28 Mathematics Constraint satisfaction problem 2-satisfiability Boolean satisfiability problem Constraint satisfaction Local search Constraint programming Theoretical computer science Applied mathematics
889	Many Hard Examples in Exact Phase Transitions1 Ke Xu and Wei Li National Lab of Software Development Environment Department of Computer Science Beihang University, Beijing[removed], China Email:{kexu,liwei}@nlsde.buaa.edu. Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2006-01-02 10:31:48 Mathematics Constraint satisfaction problem 2-satisfiability Constraint satisfaction Boolean satisfiability problem Constraint programming Theoretical computer science Applied mathematics
890	Coordination and Control of Multiple UAVs with Timing Constraints and Loitering Mehdi Alighanbari, Yoshiaki Kuwata, and Jonathan P. How Space Systems Laboratory, Massachusetts Institute of Technology { mehdi a, kuwata, j Add to Reading List Source URL: acl.mit.edu Language: English - Date: 2011-06-05 16:48:16 Applied mathematics Mathematics Military terminology Signals intelligence Unmanned aerial vehicle Waypoint Decomposition method Tabu search Motion planning Operations research Mathematical optimization Constraint programming

UPDATE